VDict mobile



proof by contradiction not found. Suggestions:

intuitionistic logic
constructive
proof
natural deduction
drool-proof paper
four colour map theorem
General Recursion Theorem
PRL
exercise, left as an
Russell's Paradox